natural deduction
英 [ˈnætʃrəl dɪˈdʌkʃn]
美 [ˈnætʃrəl dɪˈdʌkʃn]
网络 自然演绎; 自然演绎法
双语例句
- This paper presented an automated reasoning algorithm for natural deduction system ( NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。 - N_l: a loose natural deduction system of temporal logic
NL：松弛时序逻辑自然推理系统 - The conditions satisfied for the existential instantiation and the universal generalization in the natural deduction system are described clear, whereas they are described rather vaguely in many textbooks on discrete mathematics.
清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件，而这些条件在许多离散数学教科书中叙述得相当含糊。 - During the deduction of blind signal separation algorithms, the commonly adopted steepest descent method, natural gradient method and Newton's method to minimize the contrast function may result in the complexity of the deduction.
在盲信号分离算法的推导过程中，常采用最速下降法、自然梯度和牛顿法等对代价函数进行最小化，推导过程复杂。 - First, an extended natural deduction system of the programming logic is established and then its completeness is proved.
以扩充的自然推理系统为基础，建立了程序逻辑的一个形式推导系统，并证明了它的完全性。 - The author presents a relatively precise formula for calculating fluid frictional loss in a natural ventilation counter-pressure smoke stack after performing a strict theoretical deduction.
经过较为严密的理论推导，提出了比较精确的自然通风反压式烟囱中烟气和可变间隙通风道中空气的沿程摩阻损失的计算公式。 - A Non-Monotonic Heuristic Natural Deduction System Category B contains six types.
非单调启发式推理系统B类是推理； - Abstract operator logic and its natural deduction system
抽象算子逻辑及其自然演绎系统 - Using operator to model constraints, this paper researches such abstract operator logic, analyzes its syntax, semantics, axiomatic system, its natural deduction system and its normalized natural deduction system, provide the theoretical foundation for constrict analysis of hierarchy system.
研究了抽象算子逻辑，并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础。 - In view of enlightenment thinkers and natural law theorists, the social contract became the premise of deduction of civil society theory, civil society is generally understood as political society after human enter out of the state of nature.
在近代启蒙思想家与自然法学家那里，社会契约成为市民社会理论推演的前提，市民社会一般被理解为人类走出自然状态之后进入的政治社会。 - Using natural deduction rules, Isabelle provides a generic framework for developing theorem proving systems.
Isabelle使用自然演绎规则进行推理，为定理证明系统的开发提供了一个通用的框架。